Section: New Results

Complete WSTS

Participant : Jean Goubault-Larrecq [correspondant] .

Well-structured transition systems form a large class of infinite-state transition systems on which one can decide coverability (a slightly relaxed form of reachability). These include Petri nets, lossy channel systems, and various process algebras.

With Alain Finkel, Jean Goubault-Larrecq developed a theory of complete well-structured transition systems, allowing one to generalize Karp and Miller's coverability tree construction for Petri nets to all well-structured transition systems. This work culminated in [19] , following two conference papers (STACS'09, ICALP'09). The general theory was the topic of the invited talk [34] .